fix class/c first-order check for interface contracts