Candidates for Strafunski-ATermLib

No candidates exist for Strafunski-ATermLib. Upload one for this or another package?