Update feature-complete.psl