Const reference parameters are now taken in account
Commit before function parameters refactoring
Opaque checking implemented