Remove debug parameter
Clean up forward analysis and parameterize by pop-fv-next
typo
Move to lattice library