Fix #404 Updated IdenticalOperator.php and operators.h