Add unit tests for ISO Prolog built-in predicates specified in the Technical Corrigendum 2