added has_residue_equals_two property