mompov anal compilation