Add data structure 
- for arguments in ground and constraining functions
- for user logic conditions