load ALL schemes of the theory when creating a new argument