Debug function completer(), debug function determinisation(), add function complement()