Varidct based behavoural lazy evaluation