prove more kernelc list examples (not finished yet)

@andreistefanescu can you confirm that it's indeed a bug in the implementation of checking implication?