version 4.1: added backward facts memory - better performance