Add unit tests for ISO Prolog flag built-in predicates