allowed non-strict computations on symbolic data where possible