Fully tested constraint instantiation upon file read.