Use Assumption Models for Parameterized Assumptions