symbolic: Replaced generic == and != rules with particular rules for each type cathegory: int, float, bool, reference, for better compatibility with symbolic execution.