add AProVE entries