Enforce correct parameters on Property#
Add blanket coverage generator