POPL 2015 NuBoogie submission