Adding prop(v) in func invs
Fix in adding Prop(v) to function types