[21/24] New test for inference rule (!real -> !integer & !positive & !zero & .....