assumptions function

First check of assumptions to find suitable transformations