Additional assertions and constraints for PHPUnit