functions will get their ancestral conditions with their own parser now
enhanced documentation
bugfix: signature change inheritance did not work for all assertion types