contract v2 not working : postconds not known in context???