method declaration +SLAP extraction