... output log truncated, see `pragma_term_conflict.err' for the complete log.
a'/0 and
pragma_term_conflict.m:014:   predicate `pragma_term_conflict.b'/0 are mutually
pragma_term_conflict.m:014:   recursive, but some of their termination pragmas
pragma_term_conflict.m:014:   are inconsistent.
pragma_term_conflict.m:021: Warning: since the predicate `a'/0 is exported, the
pragma_term_conflict.m:021:   `:- pragma terminates' declaration for it should
pragma_term_conflict.m:021:   also be exported.