abstract forking with lazy variables and LICENSE