Checker tests to ensure we do not get reference and integer phi equivalents.