open evalProps in compute_free_varsLib

since many of the definitions just moved to there