small fix: properiescheck now uses solutions (constants found by ProB) if present