added info field to forall, and started work on a test which takes a list of functions as an input